Engineering Software Lab - PDFSEARCH.IO - Document Search Engine

Engineering Software Lab
Results: 278

#	Item
121	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.5) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-03-16 00:27:10 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
122	Microsoft Word - CSE 473S Lab Assignment 2.doc Add to Reading List Source URL: www.cse.wustl.edu Language: English - Date: 2006-12-21 05:48:36 Data transmission Protocol data unit Transmission Control Protocol Typedef ALGOL 68 Network protocols Computing Programming language theory Software engineering
123	Multi-Stage Construction of a Global Static Analyzer (in G LOBAL G CC project) Basile Starynkevitch CEA LIST (Software Reliability Lab.) Add to Reading List Source URL: starynkevitch.net Language: English - Date: 2007-11-12 02:37:07 Data types Cross-platform software Compiler construction Primitive types Type theory Pointer GNU Compiler Collection C Lisp Software engineering Computing Computer programming
124	Specification of Zinc and MiniZinc The G12 Team NICTA, Victoria Research Lab, Melbourne, Australia AugustZinc version (rotd), MiniZinc version 1.6) Add to Reading List Source URL: www.minizinc.org Language: English - Date: 2012-09-19 09:34:02 Data types Type theory Procedural programming languages C++ Program analysis Type system ALGOL 68 Primitive data type C++ classes Computing Software engineering Programming language theory
125	JCHARMING: A Bug Reproduction Approach using Crash Traces and Directed Model Checking Mathieu Nayrolles, Abdelwahab Hamou-Lhadj SBA Research Lab ECE, Concordia University Montréal, Canada Add to Reading List Source URL: users.encs.concordia.ca Language: English - Date: 2015-03-05 22:28:38 Software bug Model checkers Debugging Model checking Software testing Java Pathfinder Exception handling Bug tracking system Crash Computing Software engineering Computer programming
126	R Language Definition Version16) DRAFT R Core Team This manual is for R, version16). Add to Reading List Source URL: cran.gis-lab.info Language: English - Date: 2015-05-25 05:11:45 Subroutines Cross-platform software Data types Functional languages Array programming languages Function C Eval Pointer Software engineering Computing Computer programming
127	Parallel and Concurrent Programming in Haskell Lab Exercises Simon Marlow Microsoft Research Ltd., Cambridge, U.K. Add to Reading List Source URL: community.haskell.org Language: English - Date: 2012-06-20 11:31:07 Cross-platform software Procedural programming languages Concurrent Haskell Functional languages Functional programming Inter-process communication Haskell Monad Futures and promises Computing Software engineering Computer programming
128	Advanced Threat Tactics with Advanced Threat Tactics teaches a modern penetration testing process using Cobalt Strike and the Metasploit® Framework. Abstract This demonstration and lab-oriented class teaches IT professi Add to Reading List Source URL: www.advancedpentest.com Language: English Computer network security Software testing Metasploit Project Rapid7 Penetration test Phishing Attack Hacker Social engineering Software Computer security Computing
129	User Guided Automation for Testing Mobile Apps Xiujiang Li∗† , Yanyan Jiang∗† , Yepang Liu‡ , Chang Xu∗†1 , Xiaoxing Ma∗†1 , Jian Lu∗† ∗ State Key Lab for Novel Software Technology, Nanjing Univer Add to Reading List Source URL: sccpu2.cse.ust.hk Language: English Software Graphical user interface testing Model-based testing Mobile application development Usability testing Test automation Graphical user interface User interface Software testing Software engineering Computing

UPDATE